@InProceedings{WellerMartMatt:2015:AbTeIn,
               author = "Weller, Anderson C. and Martins, Eliane and Mattiello-Francisco, 
                         Maria de F{\'a}tima",
          affiliation = "{Universidade Estadual de Campinas (UNICAMP)} and {Universidade 
                         Estadual de Campinas (UNICAMP)} and {Instituto Nacional de 
                         Pesquisas Espaciais (INPE)}",
                title = "InRob-UML: uma abordagem para testes de interoperabilidade e 
                         robustez baseados em modelos",
            booktitle = "Anais...",
                 year = "2015",
         organization = "Brazilian Workshop on Systematic and Automated Software Testing, 
                         9. (SAST)",
             abstract = "Neste artigo apresentamos InRob-UML, um m{\'e}todo para a 
                         gera{\c{c}}{\~a}o autom{\'a}tica de casos de testes de 
                         interoperabilidade e robustez a partir de modelos UML (Unified 
                         Modeling Language). O objetivo dos testes {\'e} determinar se 
                         duas implementa{\c{c}}{\~o}es em teste s{\~a}o capazes de 
                         interoperar em presen{\c{c}}a de falhas temporais e de 
                         comunica{\c{c}}{\~a}o. O m{\'e}todo proposto foi utilizado em 
                         um estudo de caso, um sistema de controle de passagem de 
                         n{\'{\i}}vel em uma ferrovia, amplamente utilizado na 
                         literatura. Com o uso de um gerador de casos de teste baseado em 
                         meta-heur{\'{\i}}stica, guiada por prop{\'o}sitos de teste, o 
                         InRob-UML evita problemas de explos{\~a}o combinat{\'o}ria na 
                         gera{\c{c}}{\~a}o de casos de teste, procurando a sequ{\^e}ncia 
                         de teste mais completa para um dado prop{\'o}sito de este. 
                         ABSTRACT: This article presents InRob-UML, a method for automatic 
                         test case generation for interoperability and robustness testing 
                         from UML (Unified Modeling Language) models. The goal is to 
                         determine whether two implementations are able to interoperate in 
                         the presence of temporal and communication faults. The proposed 
                         method is applied in a case study, the Generalised Railroad 
                         Crossing problem, largely used in the literature. Using a 
                         metaheuristic based test case generator, guided by test purposes, 
                         the InRob-UML avoid the combinatorial explosion problems in test 
                         cases generation searching the most complete test sequence for 
                         given test purpose.",
  conference-location = "Belo Horizonte, MG",
      conference-year = "23 Sept.",
                label = "lattes: 8666823357523918 3 WellerMartMatt:2015:AbTeIn",
             language = "pt",
           targetfile = "1_weller.pdf",
                  url = "http://cbsoft.org/articles/0000/0527/SAST.pdf",
        urlaccessdate = "27 abr. 2024"
}